Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1] es el estudio formal y simbólico de la lógica,…32 kB (5266 palabras) - 21:56 6 abr 2024
La lógica es una rama de la filosofía[1][2][3][4][5] de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios…38 kB (8727 palabras) - 01:01 15 mar 2024- integers," Journal of Symbolic Logic 33: 497-513. 1969, "Effectiveness and natural languages" in Sidney Hook, ed., Language and Philosophy. New York University…14 kB (1947 palabras) - 19:11 26 dic 2023
Algoritmo (sección Descripción formal)Mathematical Logic and its Application to the theory of Subrecursive Algorithms, LSU Publ., Leningrad, 1981 Kowalski, Robert (1979). «Algorithm=Logic+Control»…41 kB (4660 palabras) - 16:55 17 abr 2024
0-7204-2103-9 M. Lerman, 1983. Degrees of unsolvability, Perspectives in Mathematical Logic, Springer-Verlag. ISBN 3-540-12155-2. Andre Nies, 2009. Computability…30 kB (4147 palabras) - 00:23 28 ene 2024
" Journal of Symbolic Logic 19: 133. Hartley Rogers, Jr., 1963, "An Example in Mathematical Logic," The American Mathematical Monthly 70: 929–45. Roy…9 kB (1109 palabras) - 08:45 21 dic 2023- Second-order languages and mathematical practice, Journal of Symbolic Logic 50 (1985), pp. 714--742 Principles of reflection and second-order logic, Journal…7 kB (911 palabras) - 07:29 11 ago 2022
el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas. La teoría de la computación permite modelar procesos…20 kB (2356 palabras) - 10:03 19 abr 2024- Introduction to Mathematical Machine Theory, Addison Wesley . Ginsburg, Seymour (1966), The Mathematical Theory of Context-free Languages, Nueva York, San…12 kB (1630 palabras) - 19:05 4 ene 2024
- sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que…9 kB (1824 palabras) - 11:25 19 abr 2024
Hugh MacColl (categoría Lógicos)long introduction to MacColl's logic and reprints of his main logical work. Kneebone, G., 2001 (1963). Mathematical Logic and the Foundations of Mathematics…5 kB (670 palabras) - 18:52 26 dic 2023
el mundo de la lógica formal. Los diagramas de Venn tienen varios antecedentes. La primera representación gráfica de deducciones lógicas —y, en particular…27 kB (2793 palabras) - 09:07 4 mar 2024
Steven Vickers, "A localic theory of lower and upper integrals", Mathematical Logic Quarterly, 54 (1), pp. 109–103, 2008. Steven Vickers, "Locales and…8 kB (1104 palabras) - 22:49 13 dic 2020
Chicago Press, ed. Logic, Language and Meaning 1. pp. 54-64. OCLC 21372380. Humberstone, Lloyd (2010). «Sentence Connectives in Formal Logic». Stanford Encyclopedia…27 kB (2568 palabras) - 12:21 7 feb 2024
Leon Henkin (categoría Lógicos de Estados Unidos)Symbolic Logic. 19(3), 183-196. Henkin, L. (1955) The nominalistic interpretation of mathematical language. Bulletin of the Belgian Mathematical Society…71 kB (10 199 palabras) - 17:04 27 dic 2023
Razonamiento diagramático (categoría Lógica)Rogers Jr., "An Example in Mathematical Logic", The American Mathematical Monthly, Vol. 70 No. 9, Washington, The Mathematical Association of America, 1963…54 kB (5214 palabras) - 20:39 17 oct 2023- Modus ponendo ponens (categoría Lógica proposicional)Ghosts of a Dead Language. Londres, UK: Routledge: 60. Copi y Cohen Hurley Moore y Parker Enderton 2001:110 Jago, Mark (2007). Formal Logic (en inglés).…9 kB (1162 palabras) - 11:47 2 nov 2023
- Leon Henkin. Su tesis, sobre la teoría del lenguaje formal y la lógica infinita, se tituló Languages with Expressions of Infinite Length. [4]Posteriormente…3 kB (432 palabras) - 18:13 27 dic 2023
mathēmatiká, derivado de μάθημα, tr. máthēma (conocimiento)) son una ciencia formal que surgió del estudio de las figuras geométricas y la aritmética con números…79 kB (9031 palabras) - 18:28 23 abr 2024- The Search for Mathematical Roots 1870-1940. Princeton University Press. Kneale, William and Martha, 1962. The Development of Logic. Oxford University…42 kB (5433 palabras) - 21:04 15 mar 2024
